| 翻訳と辞書 |
| Building (mathematics) ： ウィキペディア英語版 |
Building (mathematics)
In mathematics, a building (also Tits building, Bruhat–Tits building, named after François Bruhat and Jacques Tits) is a combinatorial and geometric structure which simultaneously generalizes certain aspects of flag manifolds, finite projective planes, and Riemannian symmetric spaces. Initially introduced by Jacques Tits as a means to understand the structure of exceptional groups of Lie type, the theory has also been used to study the geometry and topology of homogeneous spaces of p-adic Lie groups and their discrete subgroups of symmetries, in the same way that trees have been used to study free groups.
==Overview==
The notion of a building was invented by Jacques Tits as a means of describing simple algebraic groups over an arbitrary field. Tits demonstrated how to every such group ''G'' one can associate a simplicial complex Δ = Δ(''G'') with an action of ''G'', called the spherical building of ''G''. The group ''G'' imposes very strong combinatorial regularity conditions on the complexes Δ that can arise in this fashion. By treating these conditions as axioms for a class of simplicial complexes, Tits arrived at his first definition of a building. A part of the data defining a building Δ is a Coxeter group ''W'', which determines a highly symmetrical simplicial complex ''Σ'' = ''Σ''(''W'',''S''), called the ''Coxeter complex''. A building Δ is glued together from multiple copies of Σ, called its ''apartments'', in a certain regular fashion. When ''W'' is a finite Coxeter group, the Coxeter complex is a topological sphere, and the corresponding buildings are said to be of spherical type. When ''W'' is an affine Weyl group, the Coxeter complex is a subdivision of the affine plane and one speaks of affine, or Euclidean, buildings. An affine building of type is the same as an infinite tree without terminal vertices.
Although the theory of semisimple algebraic groups provided the initial motivation for the notion of a building, not all buildings arise from a group. In particular, projective planes and generalized quadrangles form two classes of graphs studied in incidence geometry which satisfy the axioms of a building, but may not be connected with any group. This phenomenon turns out to be related to the low rank of the corresponding Coxeter system (namely, two). Tits proved a remarkable theorem: all spherical buildings of rank at least three are connected with a group; moreover, if a building of rank at least two is connected with a group then the group is essentially determined by the building.
Iwahori–Matsumoto, Borel–Tits and Bruhat–Tits demonstrated that in analogy with Tits' construction of spherical buildings, affine buildings can also be constructed from certain groups, namely, reductive algebraic groups over a local non-Archimedean field. Furthermore, if the split rank of the group is at least three, it is essentially determined by its building. Tits later reworked the foundational aspects of the theory of buildings using the notion of a chamber system, encoding the building solely in terms of adjacency properties of simplices of maximal dimension; this leads to simplifications in both spherical and affine cases. He proved that, in analogy with the spherical case, every building of affine type and rank at least four arises from a group.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Building (mathematics)」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|